Hilbert's second problem